fn f<T>() where T: for<> ?Sized {}
